Sfoglia per Rivista SCIENCE OF COMPUTER PROGRAMMING
Incremental construction of systems: an efficient characterization of the lacking sub-system
2013-01-01 Santone, Antonella; Vaglini, G; Villani, Ml
State Space Reduction by Non-Standard Semantics for Deadlock Analysis
1998-01-01 N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Towards a Logical Semantics for Pure Prolog
1998-01-01 R., Barbuti; N., DE FRANCESCO; P., Mancarella; Santone, Antonella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Incremental construction of systems: an efficient characterization of the lacking sub-system | 1-gen-2013 | Santone, Antonella; Vaglini, G; Villani, Ml | |
State Space Reduction by Non-Standard Semantics for Deadlock Analysis | 1-gen-1998 | N., DE FRANCESCO; Santone, Antonella; G., Vaglini | |
Towards a Logical Semantics for Pure Prolog | 1-gen-1998 | R., Barbuti; N., DE FRANCESCO; P., Mancarella; Santone, Antonella |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile